proving system
英 [ˈpruːvɪŋ ˈsɪstəm]
美 [ˈpruːvɪŋ ˈsɪstəm]
【计】验证系统
双语例句
- The proving procedures of mathematical propositions construct the system deduced progressively from known conditions.
数学命题的证明步骤是由已知条件逐步推演形成的系统。 - Theorem proving system is implemented by using SWI-PROLOG language in microcomputer and proved its sound.
使用SWI-PROLOG语言在微机上设计实现了基于tableau的定理证明系统TableauTAP。 - Research and Development of Machine Proving System on Geometry Theorem
几何定理机器证明系统的开发与研究 - When proving test of IR imaging system acting range is being taken, as the target property and meteorological condition are different between field test and the condition of the norm put forward, the converting must be done.
进行红外成像系统作用距离考核试验时，由于外场试验中的目标特性及气象条件与指标提出对应的目标特性及气象条件有差别，因此需要进行必要的折算。 - In this paper, a new constructive proving system, Specification Deduction, is presented.
本文中提出一个用于程序综合的构造证明系统，规范演绎。 - For the sake of im-proving the socialist marketing economic body system, we must adjust the income distribution mere firmly, and push the reform of the distribution system.
为完善社会主义市场经济体制，必须加大收入分配调节力度，推进收入分配制度改革。 - Practice proving, use the embed system to empolder graph plotter contain excellences, such as hardware electrocircuit design simple, function abundance, control more accurate etc.
实践证明，使用嵌入式系统开发绘图机具有硬件电路设计简单，功能丰富，控制更精确等优点。 - Tableau-Based Proving System for Medium Modal Logic MS_4
中介模态逻辑MS4的表推演系统 - A mechanical proving system for constructible theorems in elementary geometry
构造型几何定理及其机器证明系统 - The Proving Ground Reliability Test Monitoring Management System Based on DGPS and Map Matching
基于DGPS和地图匹配的试验场汽车可靠性试验监控管理系统 - Electronic evidence is not a kind of new evidence, but the developing form of traditional evidence from the aspect of proving system.
从证明机制的角度来讲，电子证据并非是一种全新的证据，而是传统证据的演变形式。 - Based on this working pair, reaction beds are designed, a function proving MH intermittent refrigeration water cooling system driven by heat conducting oil is constructed.
在此基础上设计反应床，搭建了高温导热油驱动的功能验证型金属氢化物间歇循环冷水系统； - According to the thermody-namic principle of phase equilibrium, activity coefficents of liquid compostions of all items are calculated, proving that the ternary system is ideal.
根据热力学相平衡原理，计算出各组分液相活度系数，证明了该三元体系为完全理想系。 - The theorem proving can deal with infinite states system but requires lots of expertise.
定理证明器理论上可以处理无限状态的系统，但由于是交互式的，因此对使用者的要求较高。 - Research and Development of the Proving System for Mass Flowmeters
质量流量计检定装置的研究与试制 - This paper aims to put forward the principles about the public-owned property rights reform, which is based on proving the positive correlation between the system justice and the economic efficiency. And the foundation of all of this is relative theories of new institutional economics.
本文即力图在新制度经济学的有关理论基础上证明制度公平与经济效率的正相关并以此提出我国公有产权变革的原则。 - The theorem proved here has an application for proving the existence of the fundamental system of solutions of linear differential equations and recurrence functions.
这里所证明的定理应用于证明微分方程及线性递归函数的解的基础组的存在。 - The Arithmetic Design for Theorem Proving in the Axiom System of Classical Propositional Logic
经典命题逻辑公理系统定理证明算法设计 - Research and development of automated theorem proving system for set theory
集合论等式型定理机器证明系统的研究与开发 - UNITY is a simple unified theory, computational model and proving system, and has expressive power in rep-resenting programs for a variety of architectures.
UNITY是一种简单统一的理论、计算模型和证明系统，而且具有很强的把UNITY程序映射成不同的计算机体系结构模式的能力。 - It is concluded in this paper, through symbiotic relationship proving, public project system, with the sustainable development, is symbiotic system which meet with the symbiotic laws.
通过共生关系的证明，本文得出可持续发展的公共工程系统是满足共生律的共生系统。该共生系统不断的与外部系统进行物质、能量等系统流的交互并遵循一定的规律。 - Information Operation Proving Ground and Its System Architecture
信息战靶场及其体系结构 - The thirdly, in the aspect of judicial remedy, we should implement the reverse of proving obligation, set up legal system of small claims to solve the problem of diseconomy of lawsuit and draw into class suit in the reasonable range.
第三，在司法救济方面，要在金融消费领域实行举证责任的倒置，并设立小额诉讼法律制度来解决诉讼不经济的问题，并在合理范围内引入集团诉讼。 - Based on the model reference adaptive control ( MRAC) method, by constructing proper feedforward controller and Lyapunov function, and applying Lyapunov stability theorem in proving system asymptotically stability to get adaptive control law, the method constructs an adaptive control system.
这种方法通过构造合适的前馈控制器，结合常规的模型参考自适应控制方法，选取适当的李亚普诺夫函数，运用李亚普诺夫稳定性定理证明了系统的渐进稳定性，得到自适应律，使系统控制器具有自适应性。 - Accordingly, the uncertainty forecasting system of the sediment was brought forward in this thesis. The system is consisted by the proving system and the estimating system.
据此，依据数理统计理论及水沙运动理论本论文提出了由试验系统和估计系统组成的含沙量不确定性预报系统模型，并提出了适宜的解决方案。 - Finally, through the case of Yinjiang Hotel implementation restaurant outsourcing, proving the practical application of the system interface management model, and the application of interface management in hotel outsourcing in the future.
最后通过银江宾馆实施餐饮外包的案例，证明界面管理系统模型的实际应用，也为界面管理在饭店外包中的应用提供了思路。 - Proving by practice, the system which is reality in whole and can make the training people immersion is higher in the worth of practicality.
实践证明该系统整体效果逼真，具有很高的真实感，能让培训人员具有很高的沉浸度，是一款具有开发价值和实用价值的虚拟现实仿真培训系统。 - We uses ordinary computers in the laboratory to test the system from reliability, performance, scalability and capacity, proving that the system has a good bandwidth of accessing to files and expansibility, achieving the desired design goals by solving the problem of massive data storage effectively.
通过测试，验证了系统有着良好的读写带宽，很好的扩展性，较有效地缓解了海量数据的存储问题，达到了预期的目标。 - On the basis of PMI theory, it improved the RBAC based PMI model: add the strategy library of access control in authority proving system to control the access to enterprise information, and enhance the local certificate library for increased efficiency of attribute certificate.
在PMI基本原理的基础上，改进基于RBAC的PMI模型：在权限验证系统中增加访问控制策略库实现对企业资源的访问控制；增加本地证书库提高属性证书验证效率。 - Using RTD and integrated MES needs analysis and, according to the experimental results, the design of the whole system and the detailed design, and proving the feasibility of the system.
采用RTD和MES相互整合，根据需求分析和实验结果，进行系统的总体设计和详细设计，进而验证系统的可行性。